Commentary by cpressey on Partial Evaluation works
==================================================

<!--
Copyright (c) 2025 Chris Pressey, Cat's Eye Technologies.

SPDX-License-Identifier: CC-BY-ND-4.0
-->

### Tutorial on Online Partial Evaluation

Definitely a tutorial, but that's good as it's easy to read and makes the basic
ideas very clear.  Lots of Haskell example code.  Illustrates a simple application
(specializing a model interpreter, in this case for models of state machines)
and some of the pitfalls as well.


### Partial Evaluation and Automatic Program Generation


### Partial evaluation : practice and theory

The introductory articles on partial evaluation are okay, but you can find ones
that are at least as good elsewhere, I'm sure; the other articles are mostly
about applications and as such seem to have mostly historical interest now.


### Tutorial notes on partial evaluation

A bit dated, but some useful information in this short survey paper.  Surely
many of the practical applications of "online partial evaluation" have been
overtaken by just-in-time (JIT) compilation.


### Partial Evaluation of Computation Process—An Approach to a Compiler-Compiler


### A partial evaluator for the untyped lambda-calculus


### Compile-time calculation - Rosetta Code